// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_FCVTZS_WH_TRACE_AARCH64_H_
#define VIXL_SIM_FCVTZS_WH_TRACE_AARCH64_H_

const int32_t kExpected_fcvtzs_wh[] = {
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(1),
  INT32_C(2),
  INT32_C(4),
  INT32_C(8),
  INT32_C(16),
  INT32_C(32),
  INT32_C(64),
  INT32_C(128),
  INT32_C(256),
  INT32_C(512),
  INT32_C(1024),
  INT32_C(2048),
  INT32_C(4096),
  INT32_C(8192),
  INT32_C(16384),
  INT32_C(32768),
  INT32_C(65536),
  INT32_C(131072),
  INT32_C(262144),
  INT32_C(0),
  INT32_C(0),
  INT32_C(1),
  INT32_C(3),
  INT32_C(7),
  INT32_C(15),
  INT32_C(31),
  INT32_C(63),
  INT32_C(127),
  INT32_C(255),
  INT32_C(511),
  INT32_C(1023),
  INT32_C(2047),
  INT32_C(4094),
  INT32_C(8188),
  INT32_C(16376),
  INT32_C(32752),
  INT32_C(65504),
  INT32_C(131008),
  INT32_C(262016),
  INT32_C(524032),
  INT32_C(1048064),
  INT32_C(2096128),
  INT32_C(4192256),
  INT32_C(8384512),
  INT32_C(16769024),
  INT32_C(33538048),
  INT32_C(67076096),
  INT32_C(134152192),
  INT32_C(268304384),
  INT32_C(536608768),
  INT32_C(1073217536),
  INT32_C(2146435072),
  INT32_C(0),
  INT32_C(1),
  INT32_C(2),
  INT32_C(4),
  INT32_C(8),
  INT32_C(16),
  INT32_C(32),
  INT32_C(64),
  INT32_C(128),
  INT32_C(256),
  INT32_C(512),
  INT32_C(1024),
  INT32_C(2048),
  INT32_C(4096),
  INT32_C(8192),
  INT32_C(16384),
  INT32_C(32768),
  INT32_C(65536),
  INT32_C(131072),
  INT32_C(262144),
  INT32_C(524288),
  INT32_C(1048576),
  INT32_C(2097152),
  INT32_C(4194304),
  INT32_C(8388608),
  INT32_C(16777216),
  INT32_C(33554432),
  INT32_C(67108864),
  INT32_C(134217728),
  INT32_C(268435456),
  INT32_C(536870912),
  INT32_C(1073741824),
  INT32_C(2147483647),
  INT32_C(0),
  INT32_C(1),
  INT32_C(2),
  INT32_C(4),
  INT32_C(8),
  INT32_C(16),
  INT32_C(32),
  INT32_C(64),
  INT32_C(128),
  INT32_C(256),
  INT32_C(512),
  INT32_C(1025),
  INT32_C(2050),
  INT32_C(4100),
  INT32_C(8200),
  INT32_C(16400),
  INT32_C(32800),
  INT32_C(65600),
  INT32_C(131200),
  INT32_C(262400),
  INT32_C(524800),
  INT32_C(1049600),
  INT32_C(2099200),
  INT32_C(4198400),
  INT32_C(8396800),
  INT32_C(16793600),
  INT32_C(33587200),
  INT32_C(67174400),
  INT32_C(134348800),
  INT32_C(268697600),
  INT32_C(537395200),
  INT32_C(1074790400),
  INT32_C(2147483647),
  INT32_C(0),
  INT32_C(1),
  INT32_C(3),
  INT32_C(7),
  INT32_C(15),
  INT32_C(31),
  INT32_C(63),
  INT32_C(127),
  INT32_C(255),
  INT32_C(511),
  INT32_C(1023),
  INT32_C(2047),
  INT32_C(4094),
  INT32_C(8188),
  INT32_C(16376),
  INT32_C(32752),
  INT32_C(65504),
  INT32_C(131008),
  INT32_C(262016),
  INT32_C(524032),
  INT32_C(1048064),
  INT32_C(2096128),
  INT32_C(4192256),
  INT32_C(8384512),
  INT32_C(16769024),
  INT32_C(33538048),
  INT32_C(67076096),
  INT32_C(134152192),
  INT32_C(268304384),
  INT32_C(536608768),
  INT32_C(1073217536),
  INT32_C(2146435072),
  INT32_C(2147483647),
  INT32_C(1),
  INT32_C(2),
  INT32_C(4),
  INT32_C(8),
  INT32_C(16),
  INT32_C(32),
  INT32_C(64),
  INT32_C(128),
  INT32_C(256),
  INT32_C(512),
  INT32_C(1024),
  INT32_C(2048),
  INT32_C(4096),
  INT32_C(8192),
  INT32_C(16384),
  INT32_C(32768),
  INT32_C(65536),
  INT32_C(131072),
  INT32_C(262144),
  INT32_C(524288),
  INT32_C(1048576),
  INT32_C(2097152),
  INT32_C(4194304),
  INT32_C(8388608),
  INT32_C(16777216),
  INT32_C(33554432),
  INT32_C(67108864),
  INT32_C(134217728),
  INT32_C(268435456),
  INT32_C(536870912),
  INT32_C(1073741824),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1),
  INT32_C(2),
  INT32_C(4),
  INT32_C(8),
  INT32_C(16),
  INT32_C(32),
  INT32_C(64),
  INT32_C(128),
  INT32_C(256),
  INT32_C(512),
  INT32_C(1025),
  INT32_C(2050),
  INT32_C(4100),
  INT32_C(8200),
  INT32_C(16400),
  INT32_C(32800),
  INT32_C(65600),
  INT32_C(131200),
  INT32_C(262400),
  INT32_C(524800),
  INT32_C(1049600),
  INT32_C(2099200),
  INT32_C(4198400),
  INT32_C(8396800),
  INT32_C(16793600),
  INT32_C(33587200),
  INT32_C(67174400),
  INT32_C(134348800),
  INT32_C(268697600),
  INT32_C(537395200),
  INT32_C(1074790400),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1),
  INT32_C(3),
  INT32_C(6),
  INT32_C(12),
  INT32_C(24),
  INT32_C(48),
  INT32_C(96),
  INT32_C(192),
  INT32_C(384),
  INT32_C(768),
  INT32_C(1536),
  INT32_C(3072),
  INT32_C(6144),
  INT32_C(12288),
  INT32_C(24576),
  INT32_C(49152),
  INT32_C(98304),
  INT32_C(196608),
  INT32_C(393216),
  INT32_C(786432),
  INT32_C(1572864),
  INT32_C(3145728),
  INT32_C(6291456),
  INT32_C(12582912),
  INT32_C(25165824),
  INT32_C(50331648),
  INT32_C(100663296),
  INT32_C(201326592),
  INT32_C(402653184),
  INT32_C(805306368),
  INT32_C(1610612736),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(10),
  INT32_C(20),
  INT32_C(40),
  INT32_C(80),
  INT32_C(160),
  INT32_C(320),
  INT32_C(640),
  INT32_C(1280),
  INT32_C(2560),
  INT32_C(5120),
  INT32_C(10240),
  INT32_C(20480),
  INT32_C(40960),
  INT32_C(81920),
  INT32_C(163840),
  INT32_C(327680),
  INT32_C(655360),
  INT32_C(1310720),
  INT32_C(2621440),
  INT32_C(5242880),
  INT32_C(10485760),
  INT32_C(20971520),
  INT32_C(41943040),
  INT32_C(83886080),
  INT32_C(167772160),
  INT32_C(335544320),
  INT32_C(671088640),
  INT32_C(1342177280),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(65504),
  INT32_C(131008),
  INT32_C(262016),
  INT32_C(524032),
  INT32_C(1048064),
  INT32_C(2096128),
  INT32_C(4192256),
  INT32_C(8384512),
  INT32_C(16769024),
  INT32_C(33538048),
  INT32_C(67076096),
  INT32_C(134152192),
  INT32_C(268304384),
  INT32_C(536608768),
  INT32_C(1073217536),
  INT32_C(2146435072),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(1),
  INT32_C(2),
  INT32_C(4),
  INT32_C(9),
  INT32_C(18),
  INT32_C(36),
  INT32_C(72),
  INT32_C(144),
  INT32_C(288),
  INT32_C(576),
  INT32_C(1152),
  INT32_C(2304),
  INT32_C(4608),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(1),
  INT32_C(3),
  INT32_C(7),
  INT32_C(15),
  INT32_C(31),
  INT32_C(63),
  INT32_C(127),
  INT32_C(255),
  INT32_C(511),
  INT32_C(1023),
  INT32_C(2046),
  INT32_C(4092),
  INT32_C(8184),
  INT32_C(16368),
  INT32_C(32736),
  INT32_C(65472),
  INT32_C(130944),
  INT32_C(261888),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(1),
  INT32_C(2),
  INT32_C(4),
  INT32_C(8),
  INT32_C(16),
  INT32_C(32),
  INT32_C(64),
  INT32_C(128),
  INT32_C(256),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  -INT32_C(1),
  -INT32_C(2),
  -INT32_C(4),
  -INT32_C(8),
  -INT32_C(16),
  -INT32_C(32),
  -INT32_C(64),
  -INT32_C(128),
  -INT32_C(256),
  -INT32_C(512),
  -INT32_C(1024),
  -INT32_C(2048),
  -INT32_C(4096),
  -INT32_C(8192),
  -INT32_C(16384),
  -INT32_C(32768),
  -INT32_C(65536),
  -INT32_C(131072),
  -INT32_C(262144),
  INT32_C(0),
  INT32_C(0),
  -INT32_C(1),
  -INT32_C(3),
  -INT32_C(7),
  -INT32_C(15),
  -INT32_C(31),
  -INT32_C(63),
  -INT32_C(127),
  -INT32_C(255),
  -INT32_C(511),
  -INT32_C(1023),
  -INT32_C(2047),
  -INT32_C(4094),
  -INT32_C(8188),
  -INT32_C(16376),
  -INT32_C(32752),
  -INT32_C(65504),
  -INT32_C(131008),
  -INT32_C(262016),
  -INT32_C(524032),
  -INT32_C(1048064),
  -INT32_C(2096128),
  -INT32_C(4192256),
  -INT32_C(8384512),
  -INT32_C(16769024),
  -INT32_C(33538048),
  -INT32_C(67076096),
  -INT32_C(134152192),
  -INT32_C(268304384),
  -INT32_C(536608768),
  -INT32_C(1073217536),
  -INT32_C(2146435072),
  INT32_C(0),
  -INT32_C(1),
  -INT32_C(2),
  -INT32_C(4),
  -INT32_C(8),
  -INT32_C(16),
  -INT32_C(32),
  -INT32_C(64),
  -INT32_C(128),
  -INT32_C(256),
  -INT32_C(512),
  -INT32_C(1024),
  -INT32_C(2048),
  -INT32_C(4096),
  -INT32_C(8192),
  -INT32_C(16384),
  -INT32_C(32768),
  -INT32_C(65536),
  -INT32_C(131072),
  -INT32_C(262144),
  -INT32_C(524288),
  -INT32_C(1048576),
  -INT32_C(2097152),
  -INT32_C(4194304),
  -INT32_C(8388608),
  -INT32_C(16777216),
  -INT32_C(33554432),
  -INT32_C(67108864),
  -INT32_C(134217728),
  -INT32_C(268435456),
  -INT32_C(536870912),
  -INT32_C(1073741824),
  -INT32_C(2147483647) - 1,
  INT32_C(0),
  -INT32_C(1),
  -INT32_C(2),
  -INT32_C(4),
  -INT32_C(8),
  -INT32_C(16),
  -INT32_C(32),
  -INT32_C(64),
  -INT32_C(128),
  -INT32_C(256),
  -INT32_C(512),
  -INT32_C(1025),
  -INT32_C(2050),
  -INT32_C(4100),
  -INT32_C(8200),
  -INT32_C(16400),
  -INT32_C(32800),
  -INT32_C(65600),
  -INT32_C(131200),
  -INT32_C(262400),
  -INT32_C(524800),
  -INT32_C(1049600),
  -INT32_C(2099200),
  -INT32_C(4198400),
  -INT32_C(8396800),
  -INT32_C(16793600),
  -INT32_C(33587200),
  -INT32_C(67174400),
  -INT32_C(134348800),
  -INT32_C(268697600),
  -INT32_C(537395200),
  -INT32_C(1074790400),
  -INT32_C(2147483647) - 1,
  INT32_C(0),
  -INT32_C(1),
  -INT32_C(3),
  -INT32_C(7),
  -INT32_C(15),
  -INT32_C(31),
  -INT32_C(63),
  -INT32_C(127),
  -INT32_C(255),
  -INT32_C(511),
  -INT32_C(1023),
  -INT32_C(2047),
  -INT32_C(4094),
  -INT32_C(8188),
  -INT32_C(16376),
  -INT32_C(32752),
  -INT32_C(65504),
  -INT32_C(131008),
  -INT32_C(262016),
  -INT32_C(524032),
  -INT32_C(1048064),
  -INT32_C(2096128),
  -INT32_C(4192256),
  -INT32_C(8384512),
  -INT32_C(16769024),
  -INT32_C(33538048),
  -INT32_C(67076096),
  -INT32_C(134152192),
  -INT32_C(268304384),
  -INT32_C(536608768),
  -INT32_C(1073217536),
  -INT32_C(2146435072),
  -INT32_C(2147483647) - 1,
  -INT32_C(1),
  -INT32_C(2),
  -INT32_C(4),
  -INT32_C(8),
  -INT32_C(16),
  -INT32_C(32),
  -INT32_C(64),
  -INT32_C(128),
  -INT32_C(256),
  -INT32_C(512),
  -INT32_C(1024),
  -INT32_C(2048),
  -INT32_C(4096),
  -INT32_C(8192),
  -INT32_C(16384),
  -INT32_C(32768),
  -INT32_C(65536),
  -INT32_C(131072),
  -INT32_C(262144),
  -INT32_C(524288),
  -INT32_C(1048576),
  -INT32_C(2097152),
  -INT32_C(4194304),
  -INT32_C(8388608),
  -INT32_C(16777216),
  -INT32_C(33554432),
  -INT32_C(67108864),
  -INT32_C(134217728),
  -INT32_C(268435456),
  -INT32_C(536870912),
  -INT32_C(1073741824),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1),
  -INT32_C(2),
  -INT32_C(4),
  -INT32_C(8),
  -INT32_C(16),
  -INT32_C(32),
  -INT32_C(64),
  -INT32_C(128),
  -INT32_C(256),
  -INT32_C(512),
  -INT32_C(1025),
  -INT32_C(2050),
  -INT32_C(4100),
  -INT32_C(8200),
  -INT32_C(16400),
  -INT32_C(32800),
  -INT32_C(65600),
  -INT32_C(131200),
  -INT32_C(262400),
  -INT32_C(524800),
  -INT32_C(1049600),
  -INT32_C(2099200),
  -INT32_C(4198400),
  -INT32_C(8396800),
  -INT32_C(16793600),
  -INT32_C(33587200),
  -INT32_C(67174400),
  -INT32_C(134348800),
  -INT32_C(268697600),
  -INT32_C(537395200),
  -INT32_C(1074790400),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1),
  -INT32_C(3),
  -INT32_C(6),
  -INT32_C(12),
  -INT32_C(24),
  -INT32_C(48),
  -INT32_C(96),
  -INT32_C(192),
  -INT32_C(384),
  -INT32_C(768),
  -INT32_C(1536),
  -INT32_C(3072),
  -INT32_C(6144),
  -INT32_C(12288),
  -INT32_C(24576),
  -INT32_C(49152),
  -INT32_C(98304),
  -INT32_C(196608),
  -INT32_C(393216),
  -INT32_C(786432),
  -INT32_C(1572864),
  -INT32_C(3145728),
  -INT32_C(6291456),
  -INT32_C(12582912),
  -INT32_C(25165824),
  -INT32_C(50331648),
  -INT32_C(100663296),
  -INT32_C(201326592),
  -INT32_C(402653184),
  -INT32_C(805306368),
  -INT32_C(1610612736),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(10),
  -INT32_C(20),
  -INT32_C(40),
  -INT32_C(80),
  -INT32_C(160),
  -INT32_C(320),
  -INT32_C(640),
  -INT32_C(1280),
  -INT32_C(2560),
  -INT32_C(5120),
  -INT32_C(10240),
  -INT32_C(20480),
  -INT32_C(40960),
  -INT32_C(81920),
  -INT32_C(163840),
  -INT32_C(327680),
  -INT32_C(655360),
  -INT32_C(1310720),
  -INT32_C(2621440),
  -INT32_C(5242880),
  -INT32_C(10485760),
  -INT32_C(20971520),
  -INT32_C(41943040),
  -INT32_C(83886080),
  -INT32_C(167772160),
  -INT32_C(335544320),
  -INT32_C(671088640),
  -INT32_C(1342177280),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(65504),
  -INT32_C(131008),
  -INT32_C(262016),
  -INT32_C(524032),
  -INT32_C(1048064),
  -INT32_C(2096128),
  -INT32_C(4192256),
  -INT32_C(8384512),
  -INT32_C(16769024),
  -INT32_C(33538048),
  -INT32_C(67076096),
  -INT32_C(134152192),
  -INT32_C(268304384),
  -INT32_C(536608768),
  -INT32_C(1073217536),
  -INT32_C(2146435072),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  -INT32_C(1),
  -INT32_C(2),
  -INT32_C(4),
  -INT32_C(9),
  -INT32_C(18),
  -INT32_C(36),
  -INT32_C(72),
  -INT32_C(144),
  -INT32_C(288),
  -INT32_C(576),
  -INT32_C(1152),
  -INT32_C(2304),
  -INT32_C(4608),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  -INT32_C(1),
  -INT32_C(3),
  -INT32_C(7),
  -INT32_C(15),
  -INT32_C(31),
  -INT32_C(63),
  -INT32_C(127),
  -INT32_C(255),
  -INT32_C(511),
  -INT32_C(1023),
  -INT32_C(2046),
  -INT32_C(4092),
  -INT32_C(8184),
  -INT32_C(16368),
  -INT32_C(32736),
  -INT32_C(65472),
  -INT32_C(130944),
  -INT32_C(261888),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  -INT32_C(1),
  -INT32_C(2),
  -INT32_C(4),
  -INT32_C(8),
  -INT32_C(16),
  -INT32_C(32),
  -INT32_C(64),
  -INT32_C(128),
  -INT32_C(256),
  INT32_C(1024),
  INT32_C(2048),
  INT32_C(4096),
  INT32_C(8192),
  INT32_C(16384),
  INT32_C(32768),
  INT32_C(65536),
  INT32_C(131072),
  INT32_C(262144),
  INT32_C(524288),
  INT32_C(1048576),
  INT32_C(2097152),
  INT32_C(4194304),
  INT32_C(8388608),
  INT32_C(16777216),
  INT32_C(33554432),
  INT32_C(67108864),
  INT32_C(134217728),
  INT32_C(268435456),
  INT32_C(536870912),
  INT32_C(1073741824),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1025),
  INT32_C(2050),
  INT32_C(4100),
  INT32_C(8200),
  INT32_C(16400),
  INT32_C(32800),
  INT32_C(65600),
  INT32_C(131200),
  INT32_C(262400),
  INT32_C(524800),
  INT32_C(1049600),
  INT32_C(2099200),
  INT32_C(4198400),
  INT32_C(8396800),
  INT32_C(16793600),
  INT32_C(33587200),
  INT32_C(67174400),
  INT32_C(134348800),
  INT32_C(268697600),
  INT32_C(537395200),
  INT32_C(1074790400),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1026),
  INT32_C(2052),
  INT32_C(4104),
  INT32_C(8208),
  INT32_C(16416),
  INT32_C(32832),
  INT32_C(65664),
  INT32_C(131328),
  INT32_C(262656),
  INT32_C(525312),
  INT32_C(1050624),
  INT32_C(2101248),
  INT32_C(4202496),
  INT32_C(8404992),
  INT32_C(16809984),
  INT32_C(33619968),
  INT32_C(67239936),
  INT32_C(134479872),
  INT32_C(268959744),
  INT32_C(537919488),
  INT32_C(1075838976),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1027),
  INT32_C(2054),
  INT32_C(4108),
  INT32_C(8216),
  INT32_C(16432),
  INT32_C(32864),
  INT32_C(65728),
  INT32_C(131456),
  INT32_C(262912),
  INT32_C(525824),
  INT32_C(1051648),
  INT32_C(2103296),
  INT32_C(4206592),
  INT32_C(8413184),
  INT32_C(16826368),
  INT32_C(33652736),
  INT32_C(67305472),
  INT32_C(134610944),
  INT32_C(269221888),
  INT32_C(538443776),
  INT32_C(1076887552),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1347),
  INT32_C(2694),
  INT32_C(5388),
  INT32_C(10776),
  INT32_C(21552),
  INT32_C(43104),
  INT32_C(86208),
  INT32_C(172416),
  INT32_C(344832),
  INT32_C(689664),
  INT32_C(1379328),
  INT32_C(2758656),
  INT32_C(5517312),
  INT32_C(11034624),
  INT32_C(22069248),
  INT32_C(44138496),
  INT32_C(88276992),
  INT32_C(176553984),
  INT32_C(353107968),
  INT32_C(706215936),
  INT32_C(1412431872),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2044),
  INT32_C(4088),
  INT32_C(8176),
  INT32_C(16352),
  INT32_C(32704),
  INT32_C(65408),
  INT32_C(130816),
  INT32_C(261632),
  INT32_C(523264),
  INT32_C(1046528),
  INT32_C(2093056),
  INT32_C(4186112),
  INT32_C(8372224),
  INT32_C(16744448),
  INT32_C(33488896),
  INT32_C(66977792),
  INT32_C(133955584),
  INT32_C(267911168),
  INT32_C(535822336),
  INT32_C(1071644672),
  INT32_C(2143289344),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2045),
  INT32_C(4090),
  INT32_C(8180),
  INT32_C(16360),
  INT32_C(32720),
  INT32_C(65440),
  INT32_C(130880),
  INT32_C(261760),
  INT32_C(523520),
  INT32_C(1047040),
  INT32_C(2094080),
  INT32_C(4188160),
  INT32_C(8376320),
  INT32_C(16752640),
  INT32_C(33505280),
  INT32_C(67010560),
  INT32_C(134021120),
  INT32_C(268042240),
  INT32_C(536084480),
  INT32_C(1072168960),
  INT32_C(2144337920),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2046),
  INT32_C(4092),
  INT32_C(8184),
  INT32_C(16368),
  INT32_C(32736),
  INT32_C(65472),
  INT32_C(130944),
  INT32_C(261888),
  INT32_C(523776),
  INT32_C(1047552),
  INT32_C(2095104),
  INT32_C(4190208),
  INT32_C(8380416),
  INT32_C(16760832),
  INT32_C(33521664),
  INT32_C(67043328),
  INT32_C(134086656),
  INT32_C(268173312),
  INT32_C(536346624),
  INT32_C(1072693248),
  INT32_C(2145386496),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2047),
  INT32_C(4094),
  INT32_C(8188),
  INT32_C(16376),
  INT32_C(32752),
  INT32_C(65504),
  INT32_C(131008),
  INT32_C(262016),
  INT32_C(524032),
  INT32_C(1048064),
  INT32_C(2096128),
  INT32_C(4192256),
  INT32_C(8384512),
  INT32_C(16769024),
  INT32_C(33538048),
  INT32_C(67076096),
  INT32_C(134152192),
  INT32_C(268304384),
  INT32_C(536608768),
  INT32_C(1073217536),
  INT32_C(2146435072),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(512),
  INT32_C(1024),
  INT32_C(2048),
  INT32_C(4096),
  INT32_C(8192),
  INT32_C(16384),
  INT32_C(32768),
  INT32_C(65536),
  INT32_C(131072),
  INT32_C(262144),
  INT32_C(524288),
  INT32_C(1048576),
  INT32_C(2097152),
  INT32_C(4194304),
  INT32_C(8388608),
  INT32_C(16777216),
  INT32_C(33554432),
  INT32_C(67108864),
  INT32_C(134217728),
  INT32_C(268435456),
  INT32_C(536870912),
  INT32_C(1073741824),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(512),
  INT32_C(1025),
  INT32_C(2050),
  INT32_C(4100),
  INT32_C(8200),
  INT32_C(16400),
  INT32_C(32800),
  INT32_C(65600),
  INT32_C(131200),
  INT32_C(262400),
  INT32_C(524800),
  INT32_C(1049600),
  INT32_C(2099200),
  INT32_C(4198400),
  INT32_C(8396800),
  INT32_C(16793600),
  INT32_C(33587200),
  INT32_C(67174400),
  INT32_C(134348800),
  INT32_C(268697600),
  INT32_C(537395200),
  INT32_C(1074790400),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(513),
  INT32_C(1026),
  INT32_C(2052),
  INT32_C(4104),
  INT32_C(8208),
  INT32_C(16416),
  INT32_C(32832),
  INT32_C(65664),
  INT32_C(131328),
  INT32_C(262656),
  INT32_C(525312),
  INT32_C(1050624),
  INT32_C(2101248),
  INT32_C(4202496),
  INT32_C(8404992),
  INT32_C(16809984),
  INT32_C(33619968),
  INT32_C(67239936),
  INT32_C(134479872),
  INT32_C(268959744),
  INT32_C(537919488),
  INT32_C(1075838976),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(513),
  INT32_C(1027),
  INT32_C(2054),
  INT32_C(4108),
  INT32_C(8216),
  INT32_C(16432),
  INT32_C(32864),
  INT32_C(65728),
  INT32_C(131456),
  INT32_C(262912),
  INT32_C(525824),
  INT32_C(1051648),
  INT32_C(2103296),
  INT32_C(4206592),
  INT32_C(8413184),
  INT32_C(16826368),
  INT32_C(33652736),
  INT32_C(67305472),
  INT32_C(134610944),
  INT32_C(269221888),
  INT32_C(538443776),
  INT32_C(1076887552),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(912),
  INT32_C(1825),
  INT32_C(3650),
  INT32_C(7300),
  INT32_C(14600),
  INT32_C(29200),
  INT32_C(58400),
  INT32_C(116800),
  INT32_C(233600),
  INT32_C(467200),
  INT32_C(934400),
  INT32_C(1868800),
  INT32_C(3737600),
  INT32_C(7475200),
  INT32_C(14950400),
  INT32_C(29900800),
  INT32_C(59801600),
  INT32_C(119603200),
  INT32_C(239206400),
  INT32_C(478412800),
  INT32_C(956825600),
  INT32_C(1913651200),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1022),
  INT32_C(2044),
  INT32_C(4088),
  INT32_C(8176),
  INT32_C(16352),
  INT32_C(32704),
  INT32_C(65408),
  INT32_C(130816),
  INT32_C(261632),
  INT32_C(523264),
  INT32_C(1046528),
  INT32_C(2093056),
  INT32_C(4186112),
  INT32_C(8372224),
  INT32_C(16744448),
  INT32_C(33488896),
  INT32_C(66977792),
  INT32_C(133955584),
  INT32_C(267911168),
  INT32_C(535822336),
  INT32_C(1071644672),
  INT32_C(2143289344),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1022),
  INT32_C(2045),
  INT32_C(4090),
  INT32_C(8180),
  INT32_C(16360),
  INT32_C(32720),
  INT32_C(65440),
  INT32_C(130880),
  INT32_C(261760),
  INT32_C(523520),
  INT32_C(1047040),
  INT32_C(2094080),
  INT32_C(4188160),
  INT32_C(8376320),
  INT32_C(16752640),
  INT32_C(33505280),
  INT32_C(67010560),
  INT32_C(134021120),
  INT32_C(268042240),
  INT32_C(536084480),
  INT32_C(1072168960),
  INT32_C(2144337920),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1023),
  INT32_C(2046),
  INT32_C(4092),
  INT32_C(8184),
  INT32_C(16368),
  INT32_C(32736),
  INT32_C(65472),
  INT32_C(130944),
  INT32_C(261888),
  INT32_C(523776),
  INT32_C(1047552),
  INT32_C(2095104),
  INT32_C(4190208),
  INT32_C(8380416),
  INT32_C(16760832),
  INT32_C(33521664),
  INT32_C(67043328),
  INT32_C(134086656),
  INT32_C(268173312),
  INT32_C(536346624),
  INT32_C(1072693248),
  INT32_C(2145386496),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(1023),
  INT32_C(2047),
  INT32_C(4094),
  INT32_C(8188),
  INT32_C(16376),
  INT32_C(32752),
  INT32_C(65504),
  INT32_C(131008),
  INT32_C(262016),
  INT32_C(524032),
  INT32_C(1048064),
  INT32_C(2096128),
  INT32_C(4192256),
  INT32_C(8384512),
  INT32_C(16769024),
  INT32_C(33538048),
  INT32_C(67076096),
  INT32_C(134152192),
  INT32_C(268304384),
  INT32_C(536608768),
  INT32_C(1073217536),
  INT32_C(2146435072),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(256),
  INT32_C(512),
  INT32_C(1024),
  INT32_C(2048),
  INT32_C(4096),
  INT32_C(8192),
  INT32_C(16384),
  INT32_C(32768),
  INT32_C(65536),
  INT32_C(131072),
  INT32_C(262144),
  INT32_C(524288),
  INT32_C(1048576),
  INT32_C(2097152),
  INT32_C(4194304),
  INT32_C(8388608),
  INT32_C(16777216),
  INT32_C(33554432),
  INT32_C(67108864),
  INT32_C(134217728),
  INT32_C(268435456),
  INT32_C(536870912),
  INT32_C(1073741824),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(256),
  INT32_C(512),
  INT32_C(1025),
  INT32_C(2050),
  INT32_C(4100),
  INT32_C(8200),
  INT32_C(16400),
  INT32_C(32800),
  INT32_C(65600),
  INT32_C(131200),
  INT32_C(262400),
  INT32_C(524800),
  INT32_C(1049600),
  INT32_C(2099200),
  INT32_C(4198400),
  INT32_C(8396800),
  INT32_C(16793600),
  INT32_C(33587200),
  INT32_C(67174400),
  INT32_C(134348800),
  INT32_C(268697600),
  INT32_C(537395200),
  INT32_C(1074790400),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(256),
  INT32_C(513),
  INT32_C(1026),
  INT32_C(2052),
  INT32_C(4104),
  INT32_C(8208),
  INT32_C(16416),
  INT32_C(32832),
  INT32_C(65664),
  INT32_C(131328),
  INT32_C(262656),
  INT32_C(525312),
  INT32_C(1050624),
  INT32_C(2101248),
  INT32_C(4202496),
  INT32_C(8404992),
  INT32_C(16809984),
  INT32_C(33619968),
  INT32_C(67239936),
  INT32_C(134479872),
  INT32_C(268959744),
  INT32_C(537919488),
  INT32_C(1075838976),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(256),
  INT32_C(513),
  INT32_C(1027),
  INT32_C(2054),
  INT32_C(4108),
  INT32_C(8216),
  INT32_C(16432),
  INT32_C(32864),
  INT32_C(65728),
  INT32_C(131456),
  INT32_C(262912),
  INT32_C(525824),
  INT32_C(1051648),
  INT32_C(2103296),
  INT32_C(4206592),
  INT32_C(8413184),
  INT32_C(16826368),
  INT32_C(33652736),
  INT32_C(67305472),
  INT32_C(134610944),
  INT32_C(269221888),
  INT32_C(538443776),
  INT32_C(1076887552),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(332),
  INT32_C(665),
  INT32_C(1330),
  INT32_C(2660),
  INT32_C(5320),
  INT32_C(10640),
  INT32_C(21280),
  INT32_C(42560),
  INT32_C(85120),
  INT32_C(170240),
  INT32_C(340480),
  INT32_C(680960),
  INT32_C(1361920),
  INT32_C(2723840),
  INT32_C(5447680),
  INT32_C(10895360),
  INT32_C(21790720),
  INT32_C(43581440),
  INT32_C(87162880),
  INT32_C(174325760),
  INT32_C(348651520),
  INT32_C(697303040),
  INT32_C(1394606080),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(511),
  INT32_C(1022),
  INT32_C(2044),
  INT32_C(4088),
  INT32_C(8176),
  INT32_C(16352),
  INT32_C(32704),
  INT32_C(65408),
  INT32_C(130816),
  INT32_C(261632),
  INT32_C(523264),
  INT32_C(1046528),
  INT32_C(2093056),
  INT32_C(4186112),
  INT32_C(8372224),
  INT32_C(16744448),
  INT32_C(33488896),
  INT32_C(66977792),
  INT32_C(133955584),
  INT32_C(267911168),
  INT32_C(535822336),
  INT32_C(1071644672),
  INT32_C(2143289344),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(511),
  INT32_C(1022),
  INT32_C(2045),
  INT32_C(4090),
  INT32_C(8180),
  INT32_C(16360),
  INT32_C(32720),
  INT32_C(65440),
  INT32_C(130880),
  INT32_C(261760),
  INT32_C(523520),
  INT32_C(1047040),
  INT32_C(2094080),
  INT32_C(4188160),
  INT32_C(8376320),
  INT32_C(16752640),
  INT32_C(33505280),
  INT32_C(67010560),
  INT32_C(134021120),
  INT32_C(268042240),
  INT32_C(536084480),
  INT32_C(1072168960),
  INT32_C(2144337920),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(511),
  INT32_C(1023),
  INT32_C(2046),
  INT32_C(4092),
  INT32_C(8184),
  INT32_C(16368),
  INT32_C(32736),
  INT32_C(65472),
  INT32_C(130944),
  INT32_C(261888),
  INT32_C(523776),
  INT32_C(1047552),
  INT32_C(2095104),
  INT32_C(4190208),
  INT32_C(8380416),
  INT32_C(16760832),
  INT32_C(33521664),
  INT32_C(67043328),
  INT32_C(134086656),
  INT32_C(268173312),
  INT32_C(536346624),
  INT32_C(1072693248),
  INT32_C(2145386496),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(511),
  INT32_C(1023),
  INT32_C(2047),
  INT32_C(4094),
  INT32_C(8188),
  INT32_C(16376),
  INT32_C(32752),
  INT32_C(65504),
  INT32_C(131008),
  INT32_C(262016),
  INT32_C(524032),
  INT32_C(1048064),
  INT32_C(2096128),
  INT32_C(4192256),
  INT32_C(8384512),
  INT32_C(16769024),
  INT32_C(33538048),
  INT32_C(67076096),
  INT32_C(134152192),
  INT32_C(268304384),
  INT32_C(536608768),
  INT32_C(1073217536),
  INT32_C(2146435072),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  INT32_C(2147483647),
  -INT32_C(1024),
  -INT32_C(2048),
  -INT32_C(4096),
  -INT32_C(8192),
  -INT32_C(16384),
  -INT32_C(32768),
  -INT32_C(65536),
  -INT32_C(131072),
  -INT32_C(262144),
  -INT32_C(524288),
  -INT32_C(1048576),
  -INT32_C(2097152),
  -INT32_C(4194304),
  -INT32_C(8388608),
  -INT32_C(16777216),
  -INT32_C(33554432),
  -INT32_C(67108864),
  -INT32_C(134217728),
  -INT32_C(268435456),
  -INT32_C(536870912),
  -INT32_C(1073741824),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1025),
  -INT32_C(2050),
  -INT32_C(4100),
  -INT32_C(8200),
  -INT32_C(16400),
  -INT32_C(32800),
  -INT32_C(65600),
  -INT32_C(131200),
  -INT32_C(262400),
  -INT32_C(524800),
  -INT32_C(1049600),
  -INT32_C(2099200),
  -INT32_C(4198400),
  -INT32_C(8396800),
  -INT32_C(16793600),
  -INT32_C(33587200),
  -INT32_C(67174400),
  -INT32_C(134348800),
  -INT32_C(268697600),
  -INT32_C(537395200),
  -INT32_C(1074790400),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1026),
  -INT32_C(2052),
  -INT32_C(4104),
  -INT32_C(8208),
  -INT32_C(16416),
  -INT32_C(32832),
  -INT32_C(65664),
  -INT32_C(131328),
  -INT32_C(262656),
  -INT32_C(525312),
  -INT32_C(1050624),
  -INT32_C(2101248),
  -INT32_C(4202496),
  -INT32_C(8404992),
  -INT32_C(16809984),
  -INT32_C(33619968),
  -INT32_C(67239936),
  -INT32_C(134479872),
  -INT32_C(268959744),
  -INT32_C(537919488),
  -INT32_C(1075838976),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1027),
  -INT32_C(2054),
  -INT32_C(4108),
  -INT32_C(8216),
  -INT32_C(16432),
  -INT32_C(32864),
  -INT32_C(65728),
  -INT32_C(131456),
  -INT32_C(262912),
  -INT32_C(525824),
  -INT32_C(1051648),
  -INT32_C(2103296),
  -INT32_C(4206592),
  -INT32_C(8413184),
  -INT32_C(16826368),
  -INT32_C(33652736),
  -INT32_C(67305472),
  -INT32_C(134610944),
  -INT32_C(269221888),
  -INT32_C(538443776),
  -INT32_C(1076887552),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1347),
  -INT32_C(2694),
  -INT32_C(5388),
  -INT32_C(10776),
  -INT32_C(21552),
  -INT32_C(43104),
  -INT32_C(86208),
  -INT32_C(172416),
  -INT32_C(344832),
  -INT32_C(689664),
  -INT32_C(1379328),
  -INT32_C(2758656),
  -INT32_C(5517312),
  -INT32_C(11034624),
  -INT32_C(22069248),
  -INT32_C(44138496),
  -INT32_C(88276992),
  -INT32_C(176553984),
  -INT32_C(353107968),
  -INT32_C(706215936),
  -INT32_C(1412431872),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2044),
  -INT32_C(4088),
  -INT32_C(8176),
  -INT32_C(16352),
  -INT32_C(32704),
  -INT32_C(65408),
  -INT32_C(130816),
  -INT32_C(261632),
  -INT32_C(523264),
  -INT32_C(1046528),
  -INT32_C(2093056),
  -INT32_C(4186112),
  -INT32_C(8372224),
  -INT32_C(16744448),
  -INT32_C(33488896),
  -INT32_C(66977792),
  -INT32_C(133955584),
  -INT32_C(267911168),
  -INT32_C(535822336),
  -INT32_C(1071644672),
  -INT32_C(2143289344),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2045),
  -INT32_C(4090),
  -INT32_C(8180),
  -INT32_C(16360),
  -INT32_C(32720),
  -INT32_C(65440),
  -INT32_C(130880),
  -INT32_C(261760),
  -INT32_C(523520),
  -INT32_C(1047040),
  -INT32_C(2094080),
  -INT32_C(4188160),
  -INT32_C(8376320),
  -INT32_C(16752640),
  -INT32_C(33505280),
  -INT32_C(67010560),
  -INT32_C(134021120),
  -INT32_C(268042240),
  -INT32_C(536084480),
  -INT32_C(1072168960),
  -INT32_C(2144337920),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2046),
  -INT32_C(4092),
  -INT32_C(8184),
  -INT32_C(16368),
  -INT32_C(32736),
  -INT32_C(65472),
  -INT32_C(130944),
  -INT32_C(261888),
  -INT32_C(523776),
  -INT32_C(1047552),
  -INT32_C(2095104),
  -INT32_C(4190208),
  -INT32_C(8380416),
  -INT32_C(16760832),
  -INT32_C(33521664),
  -INT32_C(67043328),
  -INT32_C(134086656),
  -INT32_C(268173312),
  -INT32_C(536346624),
  -INT32_C(1072693248),
  -INT32_C(2145386496),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2047),
  -INT32_C(4094),
  -INT32_C(8188),
  -INT32_C(16376),
  -INT32_C(32752),
  -INT32_C(65504),
  -INT32_C(131008),
  -INT32_C(262016),
  -INT32_C(524032),
  -INT32_C(1048064),
  -INT32_C(2096128),
  -INT32_C(4192256),
  -INT32_C(8384512),
  -INT32_C(16769024),
  -INT32_C(33538048),
  -INT32_C(67076096),
  -INT32_C(134152192),
  -INT32_C(268304384),
  -INT32_C(536608768),
  -INT32_C(1073217536),
  -INT32_C(2146435072),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(512),
  -INT32_C(1024),
  -INT32_C(2048),
  -INT32_C(4096),
  -INT32_C(8192),
  -INT32_C(16384),
  -INT32_C(32768),
  -INT32_C(65536),
  -INT32_C(131072),
  -INT32_C(262144),
  -INT32_C(524288),
  -INT32_C(1048576),
  -INT32_C(2097152),
  -INT32_C(4194304),
  -INT32_C(8388608),
  -INT32_C(16777216),
  -INT32_C(33554432),
  -INT32_C(67108864),
  -INT32_C(134217728),
  -INT32_C(268435456),
  -INT32_C(536870912),
  -INT32_C(1073741824),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(512),
  -INT32_C(1025),
  -INT32_C(2050),
  -INT32_C(4100),
  -INT32_C(8200),
  -INT32_C(16400),
  -INT32_C(32800),
  -INT32_C(65600),
  -INT32_C(131200),
  -INT32_C(262400),
  -INT32_C(524800),
  -INT32_C(1049600),
  -INT32_C(2099200),
  -INT32_C(4198400),
  -INT32_C(8396800),
  -INT32_C(16793600),
  -INT32_C(33587200),
  -INT32_C(67174400),
  -INT32_C(134348800),
  -INT32_C(268697600),
  -INT32_C(537395200),
  -INT32_C(1074790400),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(513),
  -INT32_C(1026),
  -INT32_C(2052),
  -INT32_C(4104),
  -INT32_C(8208),
  -INT32_C(16416),
  -INT32_C(32832),
  -INT32_C(65664),
  -INT32_C(131328),
  -INT32_C(262656),
  -INT32_C(525312),
  -INT32_C(1050624),
  -INT32_C(2101248),
  -INT32_C(4202496),
  -INT32_C(8404992),
  -INT32_C(16809984),
  -INT32_C(33619968),
  -INT32_C(67239936),
  -INT32_C(134479872),
  -INT32_C(268959744),
  -INT32_C(537919488),
  -INT32_C(1075838976),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(513),
  -INT32_C(1027),
  -INT32_C(2054),
  -INT32_C(4108),
  -INT32_C(8216),
  -INT32_C(16432),
  -INT32_C(32864),
  -INT32_C(65728),
  -INT32_C(131456),
  -INT32_C(262912),
  -INT32_C(525824),
  -INT32_C(1051648),
  -INT32_C(2103296),
  -INT32_C(4206592),
  -INT32_C(8413184),
  -INT32_C(16826368),
  -INT32_C(33652736),
  -INT32_C(67305472),
  -INT32_C(134610944),
  -INT32_C(269221888),
  -INT32_C(538443776),
  -INT32_C(1076887552),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(912),
  -INT32_C(1825),
  -INT32_C(3650),
  -INT32_C(7300),
  -INT32_C(14600),
  -INT32_C(29200),
  -INT32_C(58400),
  -INT32_C(116800),
  -INT32_C(233600),
  -INT32_C(467200),
  -INT32_C(934400),
  -INT32_C(1868800),
  -INT32_C(3737600),
  -INT32_C(7475200),
  -INT32_C(14950400),
  -INT32_C(29900800),
  -INT32_C(59801600),
  -INT32_C(119603200),
  -INT32_C(239206400),
  -INT32_C(478412800),
  -INT32_C(956825600),
  -INT32_C(1913651200),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1022),
  -INT32_C(2044),
  -INT32_C(4088),
  -INT32_C(8176),
  -INT32_C(16352),
  -INT32_C(32704),
  -INT32_C(65408),
  -INT32_C(130816),
  -INT32_C(261632),
  -INT32_C(523264),
  -INT32_C(1046528),
  -INT32_C(2093056),
  -INT32_C(4186112),
  -INT32_C(8372224),
  -INT32_C(16744448),
  -INT32_C(33488896),
  -INT32_C(66977792),
  -INT32_C(133955584),
  -INT32_C(267911168),
  -INT32_C(535822336),
  -INT32_C(1071644672),
  -INT32_C(2143289344),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1022),
  -INT32_C(2045),
  -INT32_C(4090),
  -INT32_C(8180),
  -INT32_C(16360),
  -INT32_C(32720),
  -INT32_C(65440),
  -INT32_C(130880),
  -INT32_C(261760),
  -INT32_C(523520),
  -INT32_C(1047040),
  -INT32_C(2094080),
  -INT32_C(4188160),
  -INT32_C(8376320),
  -INT32_C(16752640),
  -INT32_C(33505280),
  -INT32_C(67010560),
  -INT32_C(134021120),
  -INT32_C(268042240),
  -INT32_C(536084480),
  -INT32_C(1072168960),
  -INT32_C(2144337920),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1023),
  -INT32_C(2046),
  -INT32_C(4092),
  -INT32_C(8184),
  -INT32_C(16368),
  -INT32_C(32736),
  -INT32_C(65472),
  -INT32_C(130944),
  -INT32_C(261888),
  -INT32_C(523776),
  -INT32_C(1047552),
  -INT32_C(2095104),
  -INT32_C(4190208),
  -INT32_C(8380416),
  -INT32_C(16760832),
  -INT32_C(33521664),
  -INT32_C(67043328),
  -INT32_C(134086656),
  -INT32_C(268173312),
  -INT32_C(536346624),
  -INT32_C(1072693248),
  -INT32_C(2145386496),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(1023),
  -INT32_C(2047),
  -INT32_C(4094),
  -INT32_C(8188),
  -INT32_C(16376),
  -INT32_C(32752),
  -INT32_C(65504),
  -INT32_C(131008),
  -INT32_C(262016),
  -INT32_C(524032),
  -INT32_C(1048064),
  -INT32_C(2096128),
  -INT32_C(4192256),
  -INT32_C(8384512),
  -INT32_C(16769024),
  -INT32_C(33538048),
  -INT32_C(67076096),
  -INT32_C(134152192),
  -INT32_C(268304384),
  -INT32_C(536608768),
  -INT32_C(1073217536),
  -INT32_C(2146435072),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(256),
  -INT32_C(512),
  -INT32_C(1024),
  -INT32_C(2048),
  -INT32_C(4096),
  -INT32_C(8192),
  -INT32_C(16384),
  -INT32_C(32768),
  -INT32_C(65536),
  -INT32_C(131072),
  -INT32_C(262144),
  -INT32_C(524288),
  -INT32_C(1048576),
  -INT32_C(2097152),
  -INT32_C(4194304),
  -INT32_C(8388608),
  -INT32_C(16777216),
  -INT32_C(33554432),
  -INT32_C(67108864),
  -INT32_C(134217728),
  -INT32_C(268435456),
  -INT32_C(536870912),
  -INT32_C(1073741824),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(256),
  -INT32_C(512),
  -INT32_C(1025),
  -INT32_C(2050),
  -INT32_C(4100),
  -INT32_C(8200),
  -INT32_C(16400),
  -INT32_C(32800),
  -INT32_C(65600),
  -INT32_C(131200),
  -INT32_C(262400),
  -INT32_C(524800),
  -INT32_C(1049600),
  -INT32_C(2099200),
  -INT32_C(4198400),
  -INT32_C(8396800),
  -INT32_C(16793600),
  -INT32_C(33587200),
  -INT32_C(67174400),
  -INT32_C(134348800),
  -INT32_C(268697600),
  -INT32_C(537395200),
  -INT32_C(1074790400),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(256),
  -INT32_C(513),
  -INT32_C(1026),
  -INT32_C(2052),
  -INT32_C(4104),
  -INT32_C(8208),
  -INT32_C(16416),
  -INT32_C(32832),
  -INT32_C(65664),
  -INT32_C(131328),
  -INT32_C(262656),
  -INT32_C(525312),
  -INT32_C(1050624),
  -INT32_C(2101248),
  -INT32_C(4202496),
  -INT32_C(8404992),
  -INT32_C(16809984),
  -INT32_C(33619968),
  -INT32_C(67239936),
  -INT32_C(134479872),
  -INT32_C(268959744),
  -INT32_C(537919488),
  -INT32_C(1075838976),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(256),
  -INT32_C(513),
  -INT32_C(1027),
  -INT32_C(2054),
  -INT32_C(4108),
  -INT32_C(8216),
  -INT32_C(16432),
  -INT32_C(32864),
  -INT32_C(65728),
  -INT32_C(131456),
  -INT32_C(262912),
  -INT32_C(525824),
  -INT32_C(1051648),
  -INT32_C(2103296),
  -INT32_C(4206592),
  -INT32_C(8413184),
  -INT32_C(16826368),
  -INT32_C(33652736),
  -INT32_C(67305472),
  -INT32_C(134610944),
  -INT32_C(269221888),
  -INT32_C(538443776),
  -INT32_C(1076887552),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(332),
  -INT32_C(665),
  -INT32_C(1330),
  -INT32_C(2660),
  -INT32_C(5320),
  -INT32_C(10640),
  -INT32_C(21280),
  -INT32_C(42560),
  -INT32_C(85120),
  -INT32_C(170240),
  -INT32_C(340480),
  -INT32_C(680960),
  -INT32_C(1361920),
  -INT32_C(2723840),
  -INT32_C(5447680),
  -INT32_C(10895360),
  -INT32_C(21790720),
  -INT32_C(43581440),
  -INT32_C(87162880),
  -INT32_C(174325760),
  -INT32_C(348651520),
  -INT32_C(697303040),
  -INT32_C(1394606080),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(511),
  -INT32_C(1022),
  -INT32_C(2044),
  -INT32_C(4088),
  -INT32_C(8176),
  -INT32_C(16352),
  -INT32_C(32704),
  -INT32_C(65408),
  -INT32_C(130816),
  -INT32_C(261632),
  -INT32_C(523264),
  -INT32_C(1046528),
  -INT32_C(2093056),
  -INT32_C(4186112),
  -INT32_C(8372224),
  -INT32_C(16744448),
  -INT32_C(33488896),
  -INT32_C(66977792),
  -INT32_C(133955584),
  -INT32_C(267911168),
  -INT32_C(535822336),
  -INT32_C(1071644672),
  -INT32_C(2143289344),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(511),
  -INT32_C(1022),
  -INT32_C(2045),
  -INT32_C(4090),
  -INT32_C(8180),
  -INT32_C(16360),
  -INT32_C(32720),
  -INT32_C(65440),
  -INT32_C(130880),
  -INT32_C(261760),
  -INT32_C(523520),
  -INT32_C(1047040),
  -INT32_C(2094080),
  -INT32_C(4188160),
  -INT32_C(8376320),
  -INT32_C(16752640),
  -INT32_C(33505280),
  -INT32_C(67010560),
  -INT32_C(134021120),
  -INT32_C(268042240),
  -INT32_C(536084480),
  -INT32_C(1072168960),
  -INT32_C(2144337920),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(511),
  -INT32_C(1023),
  -INT32_C(2046),
  -INT32_C(4092),
  -INT32_C(8184),
  -INT32_C(16368),
  -INT32_C(32736),
  -INT32_C(65472),
  -INT32_C(130944),
  -INT32_C(261888),
  -INT32_C(523776),
  -INT32_C(1047552),
  -INT32_C(2095104),
  -INT32_C(4190208),
  -INT32_C(8380416),
  -INT32_C(16760832),
  -INT32_C(33521664),
  -INT32_C(67043328),
  -INT32_C(134086656),
  -INT32_C(268173312),
  -INT32_C(536346624),
  -INT32_C(1072693248),
  -INT32_C(2145386496),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(511),
  -INT32_C(1023),
  -INT32_C(2047),
  -INT32_C(4094),
  -INT32_C(8188),
  -INT32_C(16376),
  -INT32_C(32752),
  -INT32_C(65504),
  -INT32_C(131008),
  -INT32_C(262016),
  -INT32_C(524032),
  -INT32_C(1048064),
  -INT32_C(2096128),
  -INT32_C(4192256),
  -INT32_C(8384512),
  -INT32_C(16769024),
  -INT32_C(33538048),
  -INT32_C(67076096),
  -INT32_C(134152192),
  -INT32_C(268304384),
  -INT32_C(536608768),
  -INT32_C(1073217536),
  -INT32_C(2146435072),
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  -INT32_C(2147483647) - 1,
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
  INT32_C(0),
};
const unsigned kExpectedCount_fcvtzs_wh = 3333;

#endif  // VIXL_SIM_FCVTZS_WH_TRACE_AARCH64_H_
